Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded

Source URL: www.itu.dk

• Type theory
• Logic in computer science
• Lambda calculus
• Dependently typed programming
• Subroutines
• Combinatory logic
• Higher-order abstract syntax
• Twelf
• Dependent type
• Parameter
• Logical framework
• Fixed-point combinator

A Type System for Lock-Free Processes1 Naoki Kobayashi Department of Computer Science, Graduate School of Information Science and Engineering Tokyo Institute of TechnologyOookayama, Meguro-ku, Tokyo, Jap

Source URL: www-kb.is.s.u-tokyo.ac.jp

A type system for Continuation Calculus Herman Geuvers joint work with Bram Geron (Birmingham), Wouter Geraedts (Nijmegen), Judith van Stegeren (Nijmegen) Radboud University Nijmegen and

Source URL: www.cs.ru.nl

• Lambda calculus
• Type theory
• Mathematical logic
• Theoretical computer science
• Software engineering
• Computability theory
• System F
• Calculus
• Continuation
• Church encoding
• Deductive lambda calculus

A Hybrid Type System for Lock-Freedom of Mobile Processes1 Naoki Kobayashi Tohoku University and Davide Sangiorgi

Source URL: www.kb.ecei.tohoku.ac.jp

Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013

Source URL: homes.cs.washington.edu

• Logic in computer science
• Program analysis
• Substructural logic
• Concurrent computing
• Aliasing
• Compiler construction
• Separation logic
• Alias
• Thread
• Assertion
• OCaml
• Type system

tifact Our work includes the specification of the language via a bidirectional type system, which works “up-to-congruence,” and an algorithm for elaborating expressions in this language to an explicitly typed core l

Source URL: www.cs.yale.edu

A New Type System for Deadlock-Free Processes Naoki Kobayashi Graduate School of Information Sciences, Tohoku University Abstract. We extend a previous type system for the π-calculus that

Source URL: www-kb.is.s.u-tokyo.ac.jp

Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors

Source URL: www.cs.uwm.edu

Form 21-101F2 Initial Operation Report Alternative Trading System TYPE OF FILING: INITIAL OPERATION REPORT

Source URL: ccmr-ocrmc.ca

Reconstruction of the Mizar Type System in the HOL Light System O. Kunˇcar Charles University, Faculty of Mathematics and Physics, Prague, Czech Republic. Abstract. The Mizar system is a system for formalization of mat

Source URL: ktiml.mff.cuni.cz